syms k1;
assume(k1,'integer');
assumeAlso(k1<230);
assumeAlso(k1>0);
k=13*k1